//Source file: D:\\Desktop\\�Ƶ�Ԥ��ϵͳ\\SilverCardUser.java


public class SilverCardUser extends User 
{
   
   /**
   @roseuid 675A711A018D
    */
   public SilverCardUser() 
   {
    
   }
   
   /**
   @roseuid 675A70B600E3
    */
   @Override
   public double calculatePrice(double price) {
      return price * 0.9;
   }
}
